|
|
Užití počitačů v teorii čísel
Konečný, Zdeněk ; Karásek, Jiří (oponent) ; Skula, Ladislav (vedoucí práce)
PARI/GP je poměrně málo známý matematický software, který byl navržen především pro rychlé výpočty v teorii čísel, ale našel své uplatnění i v dalších oblastech matematiky. Práce uvádí přehled základních příkazů PARI/GP a na jednoduchých příkladech je ukázáno jejich možné použití. PARI/GP je dále užit k hledání velkých prvočísel speciálních tvarů.
|
|
|
Generování prvočísel pomocí hardware
Kabelková, Barbora ; Smékal, David (oponent) ; Cíbik, Peter (vedoucí práce)
Bakalářská práce se zabývá problematikou prvočísel a jejich generováním. Stručně definuje prvočísla a poukazuje na význam bezpečných prvočísel v kryptografii. Uvádí příklady asymetrických šifer a podrobně rozebírá algoritmus RSA. Dále představuje vybrané pseudonáhodné a náhodné metody generování posloupností čísel a porovnává jejich vlastnosti. Hodnotí nejznámější pravděpodobnostní a skutečné testy prvočíselnosti na základě efektivity jejich aplikace v praxi. Navrhuje různé kombinace těchto testů s metodami generování a vybírá z nich jednu k implementaci na platformě FPGA. Práce popisuje implementaci generátoru, který využívá von Neumannovu metodu středních řádů pro vygenerování posloupnosti čísel, a následně Miller-Rabinovým testem vyhodnocuje, která z generovaných čísel jsou prvočísly. Slovně i schematicky jsou rozebrány nejdůležitější procesy, které takto navržený generátor vykonává. Návrh generátoru je simulován a syntetizován v prostředí Xilinx Viavado. Jednotlivé části generátoru jsou otestovány pomocí několika behaviorálních simulací. Na závěr práce komentuje průběh simulací a hodnotí vlastnosti navržené implementace generátoru.
|
|
| |
|
|
Algebraic proofs of Dirichlet's theorem on arithmetic progressions
Čech, Martin ; Kala, Vítězslav (vedoucí práce) ; Příhoda, Pavel (oponent)
Dirichletova věta o aritmetických posloupnostech říká, že každá aritmetická posloupnost an = kn + pro nesoudělná čísla k, obsahuje nekonečně mnoho prvočísel. Původní důkaz této věty byl analytický a využíval mnoho neele- mentárních metod. Cílem této práce je najít nutné a postačující podmínky, za kterých může existovat elementárnější algebraický důkaz této věty a v těchto případech větu dokázat. 1
|
|
|
Divisibility for talented students of secondary schools
Živčáková, Andrea ; Robová, Jarmila (vedoucí práce) ; Bečvář, Jindřich (oponent)
Táto práca je výukový text určený žiakom stredných škôl. Jej cieľom je naučiť žiakov stredných škôl riešiť typické príklady o deliteľnosti, ktoré sa často vyskytujú v matematických korešpondenčných seminároch a v matematickej olympiáde. Čitateľ si v práci pripomenie základné pojmy z deliteľnosti (napr. prvočíslo, deliteľ, násobok), zoznámi sa s kritériami deliteľnosti číslami 2 až 20, diofantickými rovnicami a tiež praktickými použitiami prvočísiel v reálnom živote. Práca obsahuje jednú celú kapitolu príkladov a cvičení. Powered by TCPDF (www.tcpdf.org)
|
|
|
Generování prvočísel pomocí hardware
Kabelková, Barbora ; Smékal, David (oponent) ; Cíbik, Peter (vedoucí práce)
Bakalářská práce se zabývá problematikou prvočísel a jejich generováním. Stručně definuje prvočísla a poukazuje na význam bezpečných prvočísel v kryptografii. Uvádí příklady asymetrických šifer a podrobně rozebírá algoritmus RSA. Dále představuje vybrané pseudonáhodné a náhodné metody generování posloupností čísel a porovnává jejich vlastnosti. Hodnotí nejznámější pravděpodobnostní a skutečné testy prvočíselnosti na základě efektivity jejich aplikace v praxi. Navrhuje různé kombinace těchto testů s metodami generování a vybírá z nich jednu k implementaci na platformě FPGA. Práce popisuje implementaci generátoru, který využívá von Neumannovu metodu středních řádů pro vygenerování posloupnosti čísel, a následně Miller-Rabinovým testem vyhodnocuje, která z generovaných čísel jsou prvočísly. Slovně i schematicky jsou rozebrány nejdůležitější procesy, které takto navržený generátor vykonává. Návrh generátoru je simulován a syntetizován v prostředí Xilinx Viavado. Jednotlivé části generátoru jsou otestovány pomocí několika behaviorálních simulací. Na závěr práce komentuje průběh simulací a hodnotí vlastnosti navržené implementace generátoru.
|
|
|
Algebraic proofs of Dirichlet's theorem on arithmetic progressions
Čech, Martin ; Kala, Vítězslav (vedoucí práce) ; Příhoda, Pavel (oponent)
Dirichletova věta o aritmetických posloupnostech říká, že každá aritmetická posloupnost an = kn + pro nesoudělná čísla k, obsahuje nekonečně mnoho prvočísel. Původní důkaz této věty byl analytický a využíval mnoho neele- mentárních metod. Cílem této práce je najít nutné a postačující podmínky, za kterých může existovat elementárnější algebraický důkaz této věty a v těchto případech větu dokázat. 1
|
|
|
Divisibility for talented students of secondary schools
Živčáková, Andrea ; Robová, Jarmila (vedoucí práce) ; Bečvář, Jindřich (oponent)
Táto práca je výukový text určený žiakom stredných škôl. Jej cieľom je naučiť žiakov stredných škôl riešiť typické príklady o deliteľnosti, ktoré sa často vyskytujú v matematických korešpondenčných seminároch a v matematickej olympiáde. Čitateľ si v práci pripomenie základné pojmy z deliteľnosti (napr. prvočíslo, deliteľ, násobok), zoznámi sa s kritériami deliteľnosti číslami 2 až 20, diofantickými rovnicami a tiež praktickými použitiami prvočísiel v reálnom živote. Práca obsahuje jednú celú kapitolu príkladov a cvičení. Powered by TCPDF (www.tcpdf.org)
|
|
|
Teorie čísel ve starém Řecku
Smrčka, Zdeněk ; Bečvář, Jindřich (vedoucí práce) ; Halas, Zdeněk (oponent)
Název práce: Teorie čísel ve starém Řecku Autor: Bc. Zdeněk Smrčka Katedra: Katedra didaktiky matematiky (KDM) Vedoucí bakalářské práce: doc. RNDr. Jindřich Bečvář, CSc. (KDM) Abstrakt: Cílem této práce je přehledně a srozumitelně sepsat číselně teoretická bádání a jeho výsledky ve starém Řecku (zhruba od 6. století př. Kr. do 4. století po Kr.). V této práci se snažíme uvést příklady použití řecké matematiky ve výuce pro zlepšení výuky a k lepšímu porozumění abstraktního myšlení v matematice. Chceme, aby studenti pochopili schopnosti a myšlenky řeckých matematiků. Srovnáváme zde také středoškolský pohled na hledání největšího společného dělitele a Eukleidův algoritmus. Uvádíme důležité řecké poznatky, jako je Eratosthenovo síto, Diofantova aritmetika a další. Některé z řeckých poznatků, jako Eukleidův algoritmus, Eratosthenovo síto atd., jsou dodnes používány. Klíčová slova: Matematika ve starém Řecku, figurální číslo, teorie čísel, řetězové zlomky, Eukleidův algoritmus
|
|
|
Probabilistické algoritmy pro prvočíselnost
Tejkalová, Natálie ; Švejdar, Vítězslav (vedoucí práce) ; Glivický, Petr (oponent)
Ačkoli v poslední době byla pozornost upřena především na nový deterministický algoritmus pro testování prvočíselnosti AKS, pravděpodobnostní algoritmy zůstávají efektivním nástrojem pro testování prvočíselnosti. Naše práce se věnuje převážně dvěma nejznámějším probabilistickým algoritmům pro testování prvočíselnosti. Podrobně popisuje princip a důkaz správnosti Solovay- Strassenova a Rabin-Millerova algoritmu. Kromě toho se také pokouší dívat na problematiku pravděpodobnostních testů obecněji. Je představena definice probabilistického algoritmu a různé třídy složitosti odpovídající Monte Carlo či Las Vegas algoritmům. Kromě čistě matematické teorie naznačíme i filosofické aspekty, nad kterými je třeba se při používání pravděpodobnostní metody zamýšlet. Powered by TCPDF (www.tcpdf.org)
|
host ::
RSS.